Necessary Being And Modal Logic